#pragma once

#include <base.h>

void hpet_init();

uint64_t hpet_read_counter();
uint64_t hpet_get_timestamp();

void hpet_sleep(uint64_t ns);